5 results
Coronavirus disease 2019 is associated with long-term depressive symptoms in Spanish older adults with overweight/obesity and metabolic syndrome
-
- Journal:
- Psychological Medicine / Volume 54 / Issue 3 / February 2024
- Published online by Cambridge University Press:
- 05 September 2023, pp. 620-630
-
- Article
- Export citation
The YAP Prolog system
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 1-2 / January 2012
- Published online by Cambridge University Press:
- 18 October 2011, pp. 5-34
-
- Article
- Export citation
Linearization of the lambda-calculus and its relation with intersection type systems
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 5 / September 2004
- Published online by Cambridge University Press:
- 06 August 2004, pp. 519-546
-
- Article
-
- You have access
- Export citation
On combinatory complete sets of proper combinators
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 6 / November 1997
- Published online by Cambridge University Press:
- 01 November 1997, pp. 593-612
-
- Article
-
- You have access
- Export citation
Compact bracket abstraction in combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-740
- Print publication:
- September 1997
-
- Article
- Export citation